341. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
Author: International Conference on Rewriting Techniques and Applications )3rd: 9891: Chapel Hill, N.C.(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
Classification :
QA
267
.
I555
1989
342. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
Author: International Conference on Rewriting Techniques and Applications )4th: 1991: Como, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
Classification :
QA
267
.
I555
1991
343. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
Classification :
QA
267
.
I555
1993
344. Rough Sets and Current Trends in Computing.
Author: Wojciech Ziarko
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ebooks -- UML.
345. SAT 2005 :
Author: edited by Enrico Giunchiglia and Toby Walsh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer algorithms.,Propositional calculus.,Computational complexity.,Computational complexity.,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Informatique.,Propositional calculus.,Propositional calculus.
Classification :
QA76
.
9
.
A43
S28
2006eb
346. STACS 87 :
Author: edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science.,Computers.
347. STOC'10 : proceedings of the 2010 ACM symposium on theory of computing, Cambridge, MA, USA, June 5-8 2010
Author: sponsored by ACM SIGACT; supported by Microsoft Research....]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
Classification :
QA
267
.
7
.
A25
2010
348. STOC'11 : proceedings of the 43rd ACM Symposium on Theory of Computing, June 6-8, 2011, San Jose, California, USA
Author: sponsored by : ACM SIGACT; supported by : Microsoft Research, Google, and IBM
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
Classification :
QA
267
.
7
.
A25
2011
349. STOC'05 : proceedings of the 37th Annual ACM Symposium on Theory of Computing : Baltimore, Maryland, USA, May 22-24, 2005
Author: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
Classification :
QA
267
.
7
.
A25
2005
350. STOC'07 : proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007
Author: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
Classification :
QA
267
.
7
.
A25
2007
351. STOC'06 : proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, Washington, USA, May 21-23, 2006
Author: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
Classification :
QA
267
.
7
.
A25
2006
352. Schaum's outline of principles of computer science /
Author: Carl Reynolds and Paul Tymann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Problems, exercises, etc.,Computer science, Problems, exercises, etc.,Computer science.,COMPUTERS-- A+,COMPUTERS-- MCSE.
Classification :
QA76
.
28
.
R49
2008eb
353. Scientific Computation with Automatic Result Verification
Author: edited by Ulrich Kulisch, Hans J. Stetter.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.,Microprogramming.
354. Semantic techniques in quantum computation /
Author: edited by Simon Gay, Ian Mackie.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
Classification :
QA76
.
889
.
S36
2010
355. Seminumerical algorithms /
Author: Donald E. Knuth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer programming.,Computers.
356. Seminumerical algorithms
Author: Knuth, Donald E.
Library: Library and Documentation Center of Iranian Research Organization for Science and Technology (Tehran)
Subject: $AElectronic digital computers - Programming,$AAlgorithms
Classification :
QA
76
.
6
.
K64
2nd
ed
357. Shared-memory parallelism can be simple, fast, and scalable /
Author: Julian Shun.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel computers-- Programming.,Parallel programming (Computer science),Parallel computers-- Programming.,Parallel programming (Computer science)
Classification :
QA76
.
642
.
S587
2017
358. Smalltalk by example :
Author: Alec Sharp.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: VisualWorks.,VisualWorks.,VisualWorks.,Smalltalk (Computer program language),Smalltalk (Langage de programmation),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),PROGRAMMING LANGUAGES.,Smalltalk (Computer program language),Smalltalk (langage de programmation),SOFTWARE TOOLS.
Classification :
QA76
.
73
.
S59
S55
1997
359. Smart technology :
Author: Francisco Torres Guerrero, Jorge Lozoya-Santos, Eduardo Gonzalez Mendivil, Leticia Neira-Tovar, Pablo G. Ramírez Flores, Jorge Martin-Gutierrez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Internet of things, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Graphics programming.,Image processing.,Information retrieval.,Internet of things.,User interface design & usability.
Classification :
Q334
360. Software engineering :
Author: M.N. Hoda, Naresh Chauhan, S.M.K. Quadri, Praveen Ranjan Srivastava, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Human factors, Congresses.,Human computation, Congresses.,Software engineering, Congresses.,Computer software-- Human factors.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human computation.,Software engineering.
Classification :
QA76
.
9
.
H84
